symbolic annihilation

象征消除